Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-Linear and Linear Analyses
نویسندگان
چکیده
منابع مشابه
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses
Critical control systems are often built as a combination of a control core with safety mechanisms allowing to recover from failures. For example a PID controller used with triplicated inputs and voting. Typically these systems would be designed at the model level in a synchronous language like Lustre or Simulink, and their code automatically generated from these models. We present a new analys...
متن کاملon the effect of linear & non-linear texts on students comprehension and recalling
چکیده ندارد.
15 صفحه اولa new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
15 صفحه اولadaptive and sliding mode control for non- linear systems
this paper deals with a globally convergent adaptive and sliding mode control of a cart-pole inverted pendulum for trajectory tracking in the presence of a bounded measurement noise and parameter uncertainty. two kinds of controllers have been used for evaluation of tracking error in presence of a bounded noise; as a result, we want to compare that at what time we can see the convergence of tra...
متن کاملOn the modified iterative methods for $M$-matrix linear systems
This paper deals with scrutinizing the convergence properties of iterative methods to solve linear system of equations. Recently, several types of the preconditioners have been applied for ameliorating the rate of convergence of the Accelerated Overrelaxation (AOR) method. In this paper, we study the applicability of a general class of the preconditioned iterative methods under certain conditio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SAE International Journal of Aerospace
سال: 2013
ISSN: 1946-3901
DOI: 10.4271/2013-01-2109